A Fair and Secure Cluster Formation Process for Ad Hoc Networks

An efficient approach for organizing large ad hoc networks is to divide the nodes into multiple clusters and designate, for each cluster, a clusterhead which is responsible for holding intercluster control information. The role of a clusterhead entails rights and duties. On the one hand, it has a dominant position in front of the others because it manages the connectivity and has access to other node¿s sensitive information. But on the other hand, the clusterhead role also has some associated costs. Hence, in order to prevent malicious nodes from taking control of the group in a fraudulent way and avoid selfish attacks from suitable nodes, the clusterhead needs to be elected in a secure way. In this paper we present a novel solution that guarantees the clusterhead is elected in a cheat-proof manner

Small but long koch fractal monopole

A small but long wire fractal antenna based on the Koch curve is presented. Experimental and numerical results show that the antenna improves the features of a common linear monopole. The radiation resistance is increased and the Q is reduced at each fractal iteration, approaching the fundamental limit on small antennas.Peer ReviewedPostprint (published version

Estudio termoquímico de la zona potásica de los yacimientos de Suria y Balsareny (Barcelona)

Se interpretan las diferentes temperaturas de cristalización, determinadas crepitométricamente, de las capas con halita, halita > silvina y silviria > halita (yacimientos de Suria y Balsareny, cuenca potásica catalana), teniendo en cuenta el calor integral de disolución de amhas sales y su conductividad calórica

Modular coinduction up-to for higher-order languages via first-order transition systems

The bisimulation proof method can be enhanced by employing ‘bisimulations up-to’ techniques. A comprehensive theory of such enhancements has been developed for first-order (i.e., CCS-like) labelled transition systems (LTSs) and bisimilarity, based on abstract fixed-point theory and compatible functions. We transport this theory onto languages whose bisimilarity and LTS go beyond those of first-order models. The approach consists in exhibiting fully abstract translations of the more sophisticated LTSs and bisimilarities onto the first-order ones. This allows us to reuse directly the large corpus of up-to techniques that are available on first-order LTSs. The only ingredient that has to be manually supplied is the compatibility of basic up-to techniques that are specific to the new languages. We investigate the method on the π-calculus, the λ-calculus, and a (call-by-value) λ-calculus with references

Symbolic Algorithms for Language Equivalence and Kleene Algebra with Tests

We first propose algorithms for checking language equivalence of finite automata over a large alphabet. We use symbolic automata, where the transition function is compactly represented using a (multi-terminal) binary decision diagrams (BDD). The key idea consists in computing a bisimulation by exploring reachable pairs symbolically, so as to avoid redundancies. This idea can be combined with already existing optimisations, and we show in particular a nice integration with the disjoint sets forest data-structure from Hopcroft and Karp's standard algorithm. Then we consider Kleene algebra with tests (KAT), an algebraic theory that can be used for verification in various domains ranging from compiler optimisation to network programming analysis. This theory is decidable by reduction to language equivalence of automata on guarded strings, a particular kind of automata that have exponentially large alphabets. We propose several methods allowing to construct symbolic automata out of KAT expressions, based either on Brzozowski's derivatives or standard automata constructions. All in all, this results in efficient algorithms for deciding equivalence of KAT expressions

New magnetotelluric data through the boundary between the Ossa Morena and Centroiberian Zones

The south-western part of the Iberian Peninsula, including the southern branch of the Iberian Massif, has recently been the subject of several magnetotelluric (MT) studies. This area is made up of three different tectonic terranes: the South Portuguese Zone (SPZ), the Ossa Morena Zone (OMZ) and the Central Iberian Zone (CIZ). The boundaries between these zones are considered to be sutures, which appear as high electrical conductivity anomalies in the MT surveys. The OMZ is characterised by a conductive layer at middle-lower crustal levels. To investigate the continuity of this conductive layer into the CIZ, a new MT profile was carried out. This 75-km long ENE profile goes through the boundary between the OMZ and the CIZ. The results of a two-dimensional magnetotelluric inversion revealed a high-conductivity anomaly in the transition OMZ/CIZ (the so-called Central Unit), which is interpreted as due to interconnected graphite along shear planes. High-conductivity anomalies appeared in the middle crust of the CIZ, whose geometry and location are consistent with the conductive layer previously found in the OMZ, thus confirming the prolongation of the conductive layer into the CIZ. The top of this layer correlated spatially with a broad reflector detected by a seismic profile previously acquired in the same area. This, together with other geological and petrological evidence, points to a common origin for both features

Design and Fabrication of Coplanar YBCO Structures on Lithium Niobate Substrates

YBa2Cu3O7-δ (YBCO) with low RF losses has been successfully deposited onto lithium niobate (LNO) to improve the performance of electrooptic Mach-Zender modulators. Epitaxial, c-axis oriented superconducting YBCO thin films have been grown on X-cut LNO single crystals with a yttria-stabilized zirconia (YSZ) buffer layer by RF magnetron sputtering. This buffer layer is needed to obtain good superconducting properties of the YBCO grown. Numerical tools have been developed to analyze CPW structures based on YBCO/YSZ/LNO trilayers, and they indicate that YSZ thickness has to be kept to the minimum necessary for good YBCO growth. With this restriction, the RF losses of YBCO/YSZ/LNO samples have been measured. The results from these measurements are used to quantify the performance enhancement in a Mach-Zender modulator using YBCO electrodes

Checking NFA equivalence with bisimulations up to congruence

16pInternational audienceWe introduce bisimulation up to congruence as a technique for proving language equivalence of non-deterministic finite automata. Exploiting this technique, we devise an optimisation of the classical algorithm by Hopcroft and Karp. We compare our algorithm to the recently introduced antichain algorithms, by analysing and relating the two underlying coinductive proof methods. We give concrete examples where we exponentially improve over antichains; experimental results moreover show non negligible improvements on random automata

Nueva metodología empírica para la estimación del desgaste de los cortadores de una tuneladora

The aim of this article is to create a new methodology that is simpler, faster and cheaper than those that exist today to estimate the wear of the cutters of a TBM operating on hard rock, using a statistical development that has allowed to establish an empirical formula. They have been identified and assigned values to the different rock properties that mainly influence the wear of the discs, obtaining the CLH index, which estimates the wear of the cutting head cutters of a TBM, thus being able to predict the duration thereof. A thorough statistical study of the results has been performed to demonstrate the reliability of the method, as well as a quantification of possible errors that can be committed and levels of confidence.El objetivo de este artículo es crear una nueva metodología más sencilla, rápida y barata de las que existen en la actualidad para estimar el desgaste de los cortadores de una tuneladora operando en roca dura, utilizando para ello un desarrollo estadístico que ha permitido establecer una fórmula empírica. Se han identificado y asignando valores a las diferentes propiedades de las rocas que influyen principalmente en el desgaste de los discos, obteniendo el índice CLH, que estima el desgaste de los cortadores de la cabeza de corte de una tuneladora TBM, pudiendo así prever la duración de los mismos. Se ha realizado un profundo estudio estadístico de los resultados para demostrar la fiabilidad del método, así como una cuantificación de los posibles errores que se puedan cometer y niveles de confianza